M Ditmarsch : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (119)
Les plus populaires
Liste
- Liste
- Tableau

1

Forgetting in multi-agent modal logics

Fang, Liangda, Liu, Yongmei, van Ditmarsch, Hans

Journal:

Artificial Intelligence

Année:

2019

Langue:

english

Fichier:

PDF, 1.12 MB

english, 2019

2

[Lecture Notes in Computer Science] Tools for Teaching Logic Volume 6680 || Teaching Argumentation Theory and Practice: The Case of 12 Angry Men

Blackburn, Patrick, Ditmarsch, Hans, Manzano, María, Soler-Toscano, Fernando

Année:

2011

Langue:

english

Fichier:

PDF, 223 KB

english, 2011

3

Question–answer games

Ågotnes, Thomas, van Benthem, Johan, van Ditmarsch, Hans, Minica, Stefan

Journal:

Journal of Applied Non-Classical Logics

Année:

2011

Langue:

english

Fichier:

PDF, 364 KB

english, 2011

4

Propositional quantification in logics of contingency

van Ditmarsch, Hans, Fan, Jie

Journal:

Journal of Applied Non-Classical Logics

Année:

2016

Langue:

english

Fichier:

PDF, 2.04 MB

english, 2016

5

Group announcement logic

Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban

Journal:

Journal of Applied Logic

Année:

2010

Langue:

english

Fichier:

PDF, 352 KB

english, 2010

6

Prolegomena to Dynamic Logic for Belief Revision

Hans P. Van Ditmarsch

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 324 KB

english, 2005

7

A geometric protocol for cryptography with cards

Cordón-Franco, Andrés, van Ditmarsch, Hans, Fernández-Duque, David, Soler-Toscano, Fernando

Journal:

Designs, Codes and Cryptography

Année:

2015

Langue:

english

Fichier:

PDF, 261 KB

english, 2015

8

Revocable Belief Revision

Ditmarsch, Hans

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 348 KB

english, 2013

9

Public announcements, public assignments and the complexity of their logic

van Ditmarsch, Hans, Herzig, Andreas, de Lima, Tiago

Journal:

Journal of Applied Non-Classical Logics

Année:

2012

Langue:

english

Fichier:

PDF, 361 KB

english, 2012

10

Special Issue on Logic in India || Logic in India—Editorial Introduction

Hans van Ditmarsch, Rohit Parikh and R. Ramanujam

Journal:

Journal of Philosophical Logic

Année:

2011

Langue:

english

Fichier:

PDF, 492 KB

english, 2011

11

Implicit, explicit and speculative knowledge

van Ditmarsch, Hans, French, Tim, Velázquez-Quesada, Fernando R., Wáng, Yì N.

Journal:

Artificial Intelligence

Année:

2018

Langue:

english

Fichier:

PDF, 936 KB

english, 2018

12

Dynamic Graded Epistemic Logic

Ma, Minghui, van Ditmarsch, Hans

Journal:

The Review of Symbolic Logic

Année:

2019

Langue:

english

Fichier:

PDF, 642 KB

english, 2019

13

CONTINGENCY AND KNOWING WHETHER

FAN, JIE, WANG, YANJING, DITMARSCH, HANS VAN

Journal:

The Review of Symbolic Logic

Année:

2015

Langue:

english

Fichier:

PDF, 269 KB

english, 2015

14

‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’

BALBIANI, PHILIPPE, BALTAG, ALEXANDRU, DITMARSCH, HANS VAN, HERZIG, ANDREAS, HOSHI, TOMOHIRO, DE LIMA, TIAGO

Journal:

The Review of Symbolic Logic

Année:

2008

Langue:

english

Fichier:

PDF, 216 KB

english, 2008

15

From Situation Calculus to Dynamic Epistemic Logic

Van Ditmarsch, H., Herzig, A., De Lima, T.

Journal:

Journal of Logic and Computation

Année:

2011

Langue:

english

Fichier:

PDF, 274 KB

english, 2011

16

Arbitrary arrow update logic

van Ditmarsch, Hans, van der Hoek, Wiebe, Kooi, Barteld, Kuijer, Louwe B.

Journal:

Artificial Intelligence

Année:

2017

Langue:

english

Fichier:

PDF, 810 KB

english, 2017

17

[Outstanding Contributions to Logic] Jaakko Hintikka on Knowledge and Game-Theoretical Semantics Volume 12 || Knowability and a New Paradox of Happiness

van Ditmarsch, Hans, Sandu, Gabriel

Année:

2018

Langue:

english

Fichier:

PDF, 163 KB

english, 2018

18

Bilattice logic of epistemic actions and knowledge

Bakhtiari, Zeinab, van Ditmarsch, Hans, Rivieccio, Umberto

Journal:

Annals of Pure and Applied Logic

Année:

2020

Fichier:

PDF, 1.26 MB

2020

19

Logic in India—Editorial Introduction

Hans van Ditmarsch, Rohit Parikh, R. Ramanujam

Journal:

Journal of Philosophical Logic

Année:

2011

Langue:

english

Fichier:

PDF, 166 KB

english, 2011

20

My beliefs about your beliefs: a case study in theory of mind and epistemic logic

Hans van Ditmarsch, Willem Labuschagne

Journal:

Année:

2007

Langue:

english

Fichier:

PDF, 329 KB

english, 2007

21

Introspective forgetting

Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 276 KB

english, 2009

22

Logic of change, change of logic

Hans van Ditmarsch, Brian Hill, Ondrej Majer

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 119 KB

english, 2009

23

Permuting machines and priority queues

R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, C.C. Handley, D.A. Holton, D.J. McCaughan

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 202 KB

english, 2005

24

Knowledge Games

Hans Van Ditmarsch

Journal:

Bulletin of Economic Research

Année:

2001

Langue:

english

Fichier:

PDF, 614 KB

english, 2001

25

Local properties in modal logic

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi

Journal:

Artificial Intelligence

Année:

2012

Langue:

english

Fichier:

PDF, 498 KB

english, 2012

26

A Theoria Round Table on Philosophy Publishing

BENGT HANSSON, HANS VAN DITMARSCH, PASCAL ENGEL, SVEN OVE HANSSON, VINCENT HENDRICKS, SØREN HOLM, PAULINE JACOBSON, ANTHONIE MEIJERS, HENRY S. RICHARDSON, HANS ROTT

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 137 KB

english, 2011

27

Hidden protocols: Modifying our expectations in an evolving world

van Ditmarsch, Hans, Ghosh, Sujata, Verbrugge, Rineke, Wang, Yanjing

Journal:

Artificial Intelligence

Année:

2014

Langue:

english

Fichier:

PDF, 540 KB

english, 2014

28

Seeing is believing: what experiments with microbes reveal about evolution

van Ditmarsch, Dave, Xavier, Joao B.

Journal:

Trends in Microbiology

Année:

2014

Langue:

english

Fichier:

PDF, 502 KB

english, 2014

29

The case of the hidden hand

van Ditmarsch, Hans P.

Journal:

Journal of Applied Non-Classical Logics

Année:

2005

Langue:

english

Fichier:

PDF, 162 KB

english, 2005

30

Foreword

Balbiani, Philippe, van Ditmarsch, Hans, van Eijck, Jan

Journal:

Journal of Applied Non-Classical Logics

Année:

2009

Langue:

english

Fichier:

PDF, 142 KB

english, 2009

31

Foreword

Van Ditmarsch, Hans, Herzig, Andreas

Journal:

Journal of Applied Non-Classical Logics

Année:

2007

Langue:

english

Fichier:

PDF, 105 KB

english, 2007

32

On the definability of simulation and bisimulation in epistemic logic

van Ditmarsch, H., Fernandez-Duque, D., van der Hoek, W.

Journal:

Journal of Logic and Computation

Année:

2014

Langue:

english

Fichier:

PDF, 311 KB

english, 2014

33

[ACM Press the 11th conference - Brussels, Belgium (2007.06.25-2007.06.27)] Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge - TARK '07 - What can we achieve by arbitrary announcements?

Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., de Lima, T.

Année:

2007

Langue:

english

Fichier:

PDF, 599 KB

english, 2007

34

Dynamic Epistemic Logic || Epistemic Logic

van Ditmarsch, Hans, van der Hoek, Wiebe, Kooi, Barteld

Année:

2007

Langue:

english

Fichier:

PDF, 680 KB

english, 2007

35

Connecting dynamic epistemic and temporal epistemic logics

van Ditmarsch, H., van der Hoek, W., Ruan, J.

Journal:

Logic Journal of IGPL

Année:

2013

Langue:

english

Fichier:

PDF, 360 KB

english, 2013

36

Announcements to Attentive Agents

Bolander, Thomas, van Ditmarsch, Hans, Herzig, Andreas, Lorini, Emiliano, Pardo, Pere, Schwarzentruber, François

Journal:

Journal of Logic, Language and Information

Année:

2016

Langue:

english

Fichier:

PDF, 841 KB

english, 2016

37

The Undecidability of Quantified Announcements

Ågotnes, T., van Ditmarsch, H., French, T.

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 979 KB

english, 2016

38

The succinctness of the cover modality

van Ditmarsch, H., Iliev, P.

Journal:

Journal of Applied Non-Classical Logics

Année:

2015

Langue:

english

Fichier:

PDF, 931 KB

english, 2015

39

The Secret of My Success

Hans Van Ditmarsch and Barteld Kooi

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 3.06 MB

english, 2006

40

Knowledge, Rationality & Action || Prolegomena to Dynamic Logic for Belief Revision

Hans P. Van Ditmarsch

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 4.56 MB

english, 2005

41

Supplement 1, KNOWLEDGE, RATIONALITY & ACTION || What will they say?—Public Announcement Games

Thomas Ågotnes and Hans van Ditmarsch

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 2.07 MB

english, 2011

42

[Outstanding Contributions to Logic] Jaakko Hintikka on Knowledge and Game-Theoretical Semantics Volume 12 ||

van Ditmarsch, Hans, Sandu, Gabriel

Année:

2018

Langue:

english

Fichier:

PDF, 6.87 MB

english, 2018

43

[Outstanding Contributions to Logic] Jaakko Hintikka on Knowledge and Game-Theoretical Semantics Volume 12 || On Semantic Games for Łukasiewicz Logic

van Ditmarsch, Hans, Sandu, Gabriel

Année:

2018

Langue:

english

Fichier:

PDF, 190 KB

english, 2018

44

[Outstanding Contributions to Logic] Jaakko Hintikka on Knowledge and Game-Theoretical Semantics Volume 12 || The Proof Theory of Common Knowledge

van Ditmarsch, Hans, Sandu, Gabriel

Année:

2018

Langue:

english

Fichier:

PDF, 298 KB

english, 2018

45

Editorsâ Review and Introduction: Lying in Logic, Language, and Cognition

Ditmarsch, Hans, Hendriks, Petra, Verbrugge, Rineke

Journal:

Topics in Cognitive Science

Année:

2020

Fichier:

PDF, 175 KB

2020

46

The Logic of Gossiping

van Ditmarsch, Hans, van der Hoek, Wiebe, Kuijer, Louwe B.

Journal:

Artificial Intelligence

Année:

2020

Fichier:

PDF, 1.05 MB

2020

47

Positive Announcements

van Ditmarsch, Hans, French, Tim, Hales, James

Journal:

Année:

2020

Fichier:

PDF, 830 KB

2020

48

Model Checking Russian Cards

H.P. van Ditmarsch, W. van der Hoek, R. van der Meyden, J. Ruan

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 286 KB

english, 2006

49

High-resolution time series ofPseudomonas aeruginosagene expression and rhamnolipid secretion through growth curve synchronization

Dave van Ditmarsch, João B Xavier

Journal:

BMC Microbiology

Année:

2011

Langue:

english

Fichier:

PDF, 452 KB

english, 2011

50

On the acid and basic sites in silica alumina cracking catalysts

D. Stigter, J. Bosman, R. Ditmarsch

Journal:

Recueil des Travaux Chimiques des Pays-Bas

Année:

1958

Langue:

english

Fichier:

PDF, 349 KB

english, 1958